Skip to content

synonyms for showing code in the command palette#9993

Merged
akshayka merged 1 commit into
mainfrom
aka/cmd-palette-show-all-code
Jun 26, 2026
Merged

synonyms for showing code in the command palette#9993
akshayka merged 1 commit into
mainfrom
aka/cmd-palette-show-all-code

Conversation

@akshayka

@akshayka akshayka commented Jun 26, 2026

Copy link
Copy Markdown
Contributor

This adds a few synonyms for the show all code command palette action.

Review in cubic

@akshayka akshayka requested review from Copilot and kirangadhave June 26, 2026 00:35
@akshayka akshayka added the enhancement New feature or request label Jun 26, 2026
@vercel

vercel Bot commented Jun 26, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
marimo-docs Ready Ready Preview, Comment Jun 26, 2026 12:35am

Request Review

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds extra command-palette search keywords for the “Show all code” hotkey action so it can be found via additional synonyms.

Changes:

  • Adds additionalKeywords to the global.showAllCode hotkey entry to improve command palette search discoverability.

Comment on lines 373 to 378
"global.showAllCode": {
name: "Show all code",
group: "Editing",
key: NOT_SET,
additionalKeywords: ["unhide", "hide", "reveal", "show source"],
},

@cubic-dev-ai cubic-dev-ai Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No issues found across 1 file

Re-trigger cubic

@akshayka akshayka merged commit 43e5330 into main Jun 26, 2026
36 checks passed
@akshayka akshayka deleted the aka/cmd-palette-show-all-code branch June 26, 2026 16:06
@github-actions

Copy link
Copy Markdown

🚀 Development release published. You may be able to view the changes at https://marimo.app?v=0.23.12-dev5

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants